منابع مشابه
Independence Results in Computer Science?
+'-1bl~-~~)~~-~~nlcinll minor corr(!clion~. changc!! and revisions to n prelimlnary IIlmrion which appcilrcd In the Proc. or the 12lh Annual ACM Symposium on the Theory of Compulirl,g (!.lilY 19110). P,lrl of the work reported here will appear in the first author's 1981 doctoral <Ij!i!lcrL"Lion to he wriUen nt Purdue Univr.rl1iLy under the direction of the second author.
متن کاملNegative Results in Computer Science Evaluations
In Computer Science, properties of formal theories that model real-world phenomena can be formally demonstrated using logic formal systems, e.g., given a proof of the best case complexity of a problem, or a demonstration of the soundness and completeness of a solution. Additionally, as in other Natural Sciences, characteristics of a theory can be empirically evaluated following the scientific m...
متن کاملLattices in Computer Science Lecture 5 Some basic complexity results
Recall that in the closest vector problem we are given a lattice and a target vector (which is usually not in the lattice) and we are supposed to find the lattice point that is closest to the target point. More precisely, one can consider three variants of the CVP, depending on whether we have to actually find the closest vector, find its distance, or only decide if it is closer than some given...
متن کاملResults of a Research Evaluating Quality of Computer Science Education
The paper presents the results of an international research on a comparative assessment of the current status of computer science education at the secondary level (ISCED 3A) in Slovakia, the Czech Republic, and Belgium. Evaluation was carried out based on 14 specific factors gauging the students’ point of view. The authors present qualitative findings from the following nine analyzed factors: t...
متن کاملRelating Theory to Actual Results in Computer Science and Human-Computer Interaction
Computer science educators are increasingly adding components that compare theoretical predictions to empirical results. If we are interested in better integrating Human-Computer Interaction (HCI) concepts into a computer science curriculum, we might look at HCI lessons that draw upon the same set of practices. With this aim in mind, I present a lesson that uses Card, Moran and Newell's Keystro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1981
ISSN: 0022-0000
DOI: 10.1016/0022-0000(81)90013-1